随着网络规模的持续扩大和新业务的不断增长,互联网正面临着安全性、动态性和异构性等多方面的挑战。新业务的不断涌现使得人们对......

在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EP......

缔约过失责任是指在合同订立过程中,因当事人一方违背依诚实信用原则所产生的先合同义务所应承担的对他人信赖利益损失的赔偿责任.......

Web服务的安全可信问题是影响其广泛应用的重要因素.已有的解决方案大多从安全角度出发,但对于服务面对攻击或安全威胁时仍能按照......

形式化方法是构建可信软件的重要途径．基于对算法问题的分析，针对形式化方法PAR开发算法的特征，刻划了问题分划、递推关系构造方面的......

跳跃索引是一种可信赖性索引，但只能为严格单调递增的序列建立索引，不能处理非顺序序列．为了解决这个问题，文中提出了一种新的索引，它可......

网构软件可以加快软件开发的速度和降低成本。然而,随着网构软件数量的增多,如何选择合适的构件成为一个具有挑战性的问题。现有的......

诚信即诚实守信，是一个具有普遍性的道德规范，是处理个人与社会、个人与他人之间相互关系的基础性道德规范。诚实守信曾被视为我们中......

信息物理融合系统（CPS）软件可信性建模是CPS可信软件开发过程中至关重要的-环,现有的形式化方法、软件验证技术并不适合对CPS软件可......

摘要：提出了一种面向可信的工作流系统监控方法，该方法可对工作流引擎执行性能、工作流实例状态、以及负载情况等系统信息进行实时监......

传统的Web Service以文本的方式传送SOAP包，存在安全性和性能等方面的问题。为了解决这些问题，提出了一种新的Web Service处理模型，通......

Measure is a map from the reality or experimental world to the mathematical world, through which people can more easily ......